[$x$]\{$T$\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$